<?xml version="1.0"?>
<Template  Originator="Community" Created="10/6/2010" LastModified="10/6/2010">

  <!-- Template Header -->
  <TemplateConfiguration>
    <_Name>Coq Project</_Name>
    <Icon>md-project-console|res:coq-project-icon.png</Icon>
    <_Description>Create a Coq project</_Description>
    <_Category>Coq</_Category>
    <LanguageName>Coq</LanguageName>
  </TemplateConfiguration>

  <!-- Actions -->
  <Actions>
    <Open filename = "main.v"/>
  </Actions>

  <!-- Template Content -->
  <Combine name = "${ProjectName}" directory = ".">
    <Project name = "${ProjectName}" directory = "." type="Coq">
      <Files>
        <File name = "main.v" AddStandardHeader="True"><![CDATA[let hw := Hello World]]></File>
      </Files>
    </Project>
  </Combine>
</Template>
